Diophantine predicate

[计] 刁番图谓词